Characterization for Java Memory Behavior
نویسندگان
چکیده
We provide non-operational characterizations of Java memory consistency model (Java Consistency, or simply Java). The work is based on the operational definition of the Java memory consistency as given in the Java Language Specification [6]. We study the relation of Java memory behavior to that of some well known models, proving that Java is incomparable with PRAM Consistency and with both variants of Processor Consistency; it is neither stronger nor weaker. We show that a programmer can rely on Coherence and a certain variant of Causality for regular variables, Sequential Consistency for volatile variables, and Release Consistency when locks are employed. Proofs are omitted in this extended abstract, see the full version [4].
منابع مشابه
Energy Behavior of Java Applications from the Memory Perspective
With the anticipated dramatic growth of computing devices for mobile and embedded environments, energy conscious hardware and software design has taken center-stage together with performance. At the same time, there is an increasing need to provide a portable and seamless software environment for application development and interoperability. This paper takes an important step in the con uence o...
متن کاملCharacterization of Constrained Aged Niti Strips for Using In Artificial Muscle Actuators (Technical Note)
Marvelous bending/straightening effects of two-way shape memory alloy (TWSMA) help their employment in design and manufacturing of new medical appliances. Constrained ageing with bending load scheme can induce two-way shape memory effect (TWSME). Scanning electron microscope (SEM) analysis, electrical resistivity measurement (ERM) and differential scanning calorimetry (DSC) are employed to dete...
متن کاملUSENIX Association Proceedings of the Java TM Virtual Machine Research and Technology Symposium ( JVM ' 01 )
With the anticipated dramatic growth of computing devices for mobile and embedded environments, energy conscious hardware and software design has taken center-stage together with performance. At the same time, there is an increasing need to provide a portable and seamless software environment for application development and interoperability. This paper takes an important step in the con uence o...
متن کاملFabrication and Characterization of Bolus Material Using Propylene Glycol for Radiation Therapy
Introduction: This study aimed to evaluate the efficacy of a synthesized bolus in the reduction of damage to body tissues and the protection of the organ at risk (OAR) in radiotherapy application. Several properties of the synthesized bolus, including density, transmission factor, and effective mass attenuation coefficient, were investigated. Material and ...
متن کاملThermo-mechanical behavior of shape memory alloy made stent- graft by multi-plane model
Constitutive law for shape-memory alloys subjected to multi-axial loading, which is based on a semi-micromechanical integrated multi-plane model capable of internal mechanism observations, is generally not available in the literature. The presented numerical results show significant variations in the mechanical response along the multi loading axes. These are attributed to changes in the marten...
متن کامل